Correct hardware design and verification methods - 11th IFIP WG 10.5 advanced research working conference proceedings
- Författare
- CHARME IFIP WG 10.5 International Federation for Information Processing Tom Melham Tiziana Margaria Advanced Research Working Conference on Correct Hardware Design and Verification 2001 : Livingston)
- (CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001 Tiziana Margaria, Tom Melham (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2001 | Tyskland, Berlin | 482 sidor. |